A Formal Framework for the Analysis of Recursive-Parallel Programs
نویسندگان
چکیده
RP programs are imperative programs with parallelism and recursion and only a limited way of synchronizing parallel processes. The formal framework we propose here combines (1) a formal operational model of abstract programs (or RP schemes), (2) a set of decision methods for the analysis of RP schemes, (3) a formal operational model for the interpreted programs, and (4) translation results stating how some behavioural properties of the concrete programs can be correctly checked on the corresponding scheme. 3
منابع مشابه
Applicability of Algebraic Transductions to Data-Flow Analysis
Parallelization of recursive programs is still an open problem today, lacking suitable and precise static analyses. This article presents a novel data ow analysis framework based on push-down (a.k.a. algebraic) transducers. This technique achieves a global and precise description of the data ow and discovers important semantic properties of the programs. Future fruitful research, at the crossro...
متن کاملA real-time recursive dynamic model for vehicle driving simulators
This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...
متن کاملParallel computation framework for optimizing trailer routes in bulk transportation
We consider a rich tanker trailer routing problem with stochastic transit times for chemicals and liquid bulk orders. A typical route of the tanker trailer comprises of sourcing a cleaned and prepped trailer from a pre-wash location, pickup and delivery of chemical orders, cleaning the tanker trailer at a post-wash location after order delivery and prepping for the next order. Unlike traditiona...
متن کاملAn Analytical Method Forparallelization of Recursive
Received (received date) Revised (revised date) Communicated by Christian Lengauer ABSTRACT Programming with parallel skeletons is an attractive framework because it encourages programmers to develop eecient and portable parallel programs. However, extracting parallelism from sequential speciications and constructing eecient parallel programs using the skeletons are still diicult tasks. In this...
متن کاملA Novel Two-Stage Mathematical Model for Green Supplier Development
Nowadays, numerous processes of any supply chain are done by suppliers and consequently they cause a massive amount of pollution released to the nature. Hence, greening the suppliers has become a necessity. Although most of green supplier development programs need high investment, formal optimization models that address this issue are very rare. This paper mainly aims to address this prob...
متن کامل